Linear Temporal Logic-based Mission Planning
نویسندگان
چکیده
منابع مشابه
Linear Temporal Logic based Motion Planning
We describe the problem of motion planning for multiple goals in unstructured environments by using temporal logic for specification of the goals. We solve the problem of mission planning for mobile robots, wherein the goal of the robot can be a complex mission specification rather than a classical "Go from A to B" problem. To achieve this problem we take a two dimensional map of the real envir...
متن کاملPlanning as model construction in linear temporal logic
In this work we propose a logical approach to planning, based on the view of a planning activity as the search for a nite model of the speci cation of the planning problem. Planning problems are represented in a modal temporal language, based on a discrete, linear model of time, whose execution mechanism exploits model construction techniques related to analytic tableaux. The tableau system is ...
متن کاملUsing Linear Temporal Logic to Model and Solve Planning Problems
In this work we investigate the use of propositional linear temporal logic LTL as a speciication language for planning problems and the use of analytic tableaux as a tool for plan search, following the \planning as satissability" approach 11]. We claim that LTL can be a good speciication language for planning problems, because of its rich expressive power and the underlying simple model of time...
متن کاملLinear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning Domain Description Language with control Knowledge), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality ...
متن کاملLinear Logic in Planning
Linear Logic is a powerful formalism used to manage a lot of problems with resources. Linear Logic can also be used to formalize Petri Nets and to solve simple planning problems (for example ‘Block World‘). Research goes ahead also in Linear Logic Programming, which means that we have tools, that can solve Linear Logic problems. In this paper I will show the possible connection between solving ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Interactive Multimedia and Artificial Intelligence
سال: 2016
ISSN: 1989-1660
DOI: 10.9781/ijimai.2016.375